$html-editor-border-color: #a9bfd3 !default;